121. The Big Typescript, TS. 213 /
Author: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
Classification :
B3376
.
W563
B4713
2005
122. The Palgrave centenary companion to Principia Mathematica
Author: edited by Nicholas Griffin and Bernard Linsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Russell, Bertrand, -- 1872-1970. -- Principles of mathematics.,Whitehead, Alfred North, -- 1861-1947.
Classification :
QA9
.
W53
E358
9999
123. The Palgrave centenary companion to Principia mathematica /
Author: edited by Nicholas Griffin, McMaster University, Canada and Bernard Linsky, University of Alberta, Canada
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Russell, Bertrand,1872-1970., Principia mathematica,Whitehead, Alfred North,1861-1947., Principia mathematica,Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA9
.
W53
P35
2013
124. The logic book /
Author: Merrie Bergmann, James Moor, Jack Nelson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Predicate (Logic)
Classification :
BC135
.
B435
2009
125. The logic book /
Author: Merrie Bergmann, James Moor, Jack Nelson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Predicate (Logic),Logic, Symbolic and mathematical.,Logica.,Predicate (Logic),Symbolische logica.,Voorspellingen.,Wiskundige logica.
Classification :
BC135
.
B435
2003
126. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
127. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
128. <The> logical systems of Lesniewski
پدیدآورنده :
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
129. The semantic foundations of logic
Author: Epstein, Richard L.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic,، Logic, Symbolic and mathematical,، Semantics
Classification :
BC
71
.
E57
1995
130. The semantic foundations of logic
Author: Richard L. Epstein; with the assist. & coll. of Walter A. Carnielli...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Logic, Symbolic and mathematical,، Semantics
Classification :
BC
71
.
E56
131. The semantic foundations of logic
Author: Epstein, Richard L.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic , Logic, Symbolic and mathematical, Semantics
Classification :
BC
71
.
E57
1994
132. The semantic foundations of logic
Author: / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,Logic,symbolic and mathematical,Semantics
Classification :
160
E64s
133. The semantics and proof theory of the logic of bunched implications
پدیدآورنده : By David J. Pym
موضوع : Logic, Symbolic and mathematical.
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
134. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
135. Tracking reason :
Author: / Jody Azzouni
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
E-BOOK
136. Tractarian semantics :
Author: Peter Carruthers
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus,Language and languages-- Philosophy,Logic, Symbolic and mathematical
Classification :
B3376
.
W563
T73226
1989
137. Tractarian semantics :finding sense in Wittgenstein's Tractatus
Author: Carruthers, Peter
Library: Library of Mofid University (Qom)
Subject: ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
Classification :
B3376
.
W563
T73226
1989
138. Tractatus logico- philosophicus
Author: by Ludwig Wittgenstein; with an introduction by Bertrand Russell
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Language and language philosophy,Philosophy,Semantics (philosophy)
Classification :
B
,
3376
,.
W563T73
,
1996
139. Truth, deduction, and computation
Author: / R.E. Davis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
Classification :
QA76
.
7
.
D386
1989
140. Truth, syntax and modality
Author: / Edited by Hugues Leblanc
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
C56
1970
